extended


extended
adj расширенный, дополненный

English-Russian cryptological dictionary . 2014.

Смотреть что такое "extended" в других словарях:

  • Extended ML — Saltar a navegación, búsqueda Extended ML es un lenguaje de programación creado por Kahrs, Sannella y Tarlecki basado en ML. Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para… …   Wikipedia Español

  • Extended ML — is a specification language created by Kahrs, Sannella and Tarlecki based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With… …   Wikipedia

  • Extended ML — es un lenguaje de programación creado por Kahrs, Sannella y Tarlecki basado en ML. Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para especificar rigurosamente el comportamiento …   Enciclopedia Universal

  • extended — [adj1] lengthened continued, drawnout, elongate, elongated, enlarged, lengthy, long, prolonged, protracted, spread, spread out, stretched out, unfolded, unfurled, very long; concepts 782,798 Ant. abbreviated, abridged, compressed, condensed,… …   New thesaurus

  • extended — index broad, capacious, chronic, comprehensive, continuous, extensive, far reaching, inflated (enlarged …   Law dictionary

  • extended — adjective Date: 15th century 1. drawn out in length especially of time < an extended visit > 2. a. fully stretched out < an extended battle line > b. of a horse s gait performed with a greatly lengthened stride but without a break compare… …   New Collegiate Dictionary

  • extended — extendedly, adv. extendedness, n. /ik sten did/, adj. 1. stretched out: extended wires. 2. continued or prolonged: extended efforts. 3. spread out: extended flags. 4. widespread or extensive; having extension or spatial magnitude: extended… …   Universalium

  • extended — ex|tend|ed [ıkˈstendıd] adj [only before noun] 1.) made longer or bigger ▪ an extended business trip ▪ The computer uses extended memory. 2.) long or longer than expected or planned ▪ If you are going abroad for an extended period of time , you… …   Dictionary of contemporary English

  • extended — co·extended; extended; in·extended; un·extended; …   English syllables

  • Extended — Extend Ex*tend ([e^]ks*t[e^]nd ), v. t. [imp. & p. p. {Extended}; p. pr. & vb. n. {Extending}.] [L. extendere, extentum, extensum; ex out + tendere to stretch. See {Trend}.] 1. To stretch out; to prolong in space; to carry forward or continue in… …   The Collaborative International Dictionary of English

  • extended — ex|tend|ed [ ık stendəd ] adjective 1. ) continuing for longer than usual: an extended warranty Try to avoid extended periods of time at the computer. 2. ) an extended hand, arm, etc. is stretched out …   Usage of the words and phrases in modern English


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.